{PE[i,j]:0<=i<16 and 0<=j<64}
{PE[i,j]->PE[i+1,j];PE[i,j]->PE[i,j+1]}

600 110592 64 2